//
// IPCCenter.h
// Usage: Process IPC center, process all ipc request
// CreateDate: 2009-05-16
// Author: MaJiuyue
//
#ifndef _IPCCENTER_H_
#define _IPCCENTER_H_

#include <SCI.h>
#include "MessageBox.h"

class CIPCCenter : public Callable
{
public:
	CIPCCenter();
	~CIPCCenter(){}

public:
	u32 SendKNL(pid_t dst, MESSAGE * msg);
	u32 Send(pid_t dst, addr_t msg_vaddr);
	u32 Receive(pid_t src, addr_t msg_vaddr);
};

#endif

